{ let x.y:u256 := 2:u256 }
// ----
